Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
431	N Probabilistic Relational Reasoning for Differential Privacy ¨ GILLES BARTHE, BORIS KOPF and FEDERICO OLMEDO, IMDEA Software Institute ´ Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Generalized functions Differential privacy Exponential mechanism Distribution Randomized algorithm Function Continuous function Mathematical analysis Mathematics Data privacy
432	optiSLang_SimX_eng_P_Training.indd Add to Reading List Source URL: www.dynardo.de Language: English - Date: 2015-03-04 10:36:57 Simulation Software SimulationX Mathematical optimization Genetic algorithm JModelica.org OptiY Application software Simulation software Operations research
433	IQaudIO This document covers the installation, software configuration and usage of Pi-DAC+, Pi-DigiAMP+ / Pi-AMP+ and Pi-CASE+ for the Raspberry Pi A+, B+ and Raspberry Pi v2. If there is additional information required Add to Reading List Source URL: www.iqaudio.com Language: English - Date: 2015-06-03 12:57:16 Educational technology Raspberry Pi Pi Imaginary unit Mathematical analysis Numbers Complex analysis
434	SHAWNEE COUNTY, KANSAS Position Description Office Assistant II POSITION CONTROL NUMBER: AP1024 Add to Reading List Source URL: www.snco.us Language: English - Date: 2015-03-04 16:30:07 Calculus Continuous function Group action X Window System Software Mathematics Mathematical analysis
435	Proceedings of the 2001 Winter Simulation Conference B. A. Peters, J. S. Smith, D. J. Medeiros, and M. W. Rohrer, eds. CSIM19: A POWERFUL TOOL FOR BUILDING SYSTEM MODELS Herb Schwetman Mesquite Software, Inc. Add to Reading List Source URL: www.mesquite.com Language: English - Date: 2009-05-18 15:34:33 Probability and statistics Mathematical sciences Markov models Queueing theory Scheduling algorithms Queueing model Scheduling FIFO Simulation Statistics Stochastic processes Operations research
436	SLEEC: Semantics-rich Libraries for Effective Exascale Computation Milind Kulkarni, Arun Prakash,Vijay Pai and Sam Midkiff Add to Reading List Source URL: xstackwiki.modelado.org Language: English - Date: 2014-05-28 12:29:09 Problem solving Annotation Mathematical optimization Compiler Library Semantics Computing Language Operations research Software Heuristic
437	A circled number step number on the diagrams means there are written instructions for that step. Please read them before folding. The folding sequence seems very mathematical. In reality most location points are not t Add to Reading List Source URL: www.papierfalten.de Language: English - Date: 2006-02-02 07:15:23 Fold Software engineering Computing Computer programming Paper folding Origami Structural geology Yoshizawa-Randlett system
438	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Functional Synthesis for Linear Arithmetic and Sets Viktor Kuncak, Mika¨ el Mayer, Ruzica Piskac, Philippe Suter? Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-29 17:36:57 Model theory Logic in computer science Constraint programming Predicate logic Semantics Satisfiability Modulo Theories Quantifier elimination First-order logic Function Logic Mathematical logic Mathematics
439	A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella B´eguelin IMDEA Software, Madrid, Spain {Gilles.Barthe, Daniel.Hedin, Santiago.Zanella}@imdea.org Abstract—Zero-knowled Add to Reading List Source URL: software.imdea.org Language: English - Date: 2013-03-13 12:33:24 Mathematical logic Model theory Proof of knowledge Functions and mappings IP Zero-knowledge proof Structure Functor Soundness Mathematics Cryptographic protocols Logic
440	Beyond Differential Privacy: Composition Theorems and Relational Logic for f -divergences between Probabilistic Programs Gilles Barthe and Federico Olmedo IMDEA Software Institute, Madrid, Spain {Gilles.Barthe,Federico.O Add to Reading List Source URL: certicrypt.gforge.inria.fr Language: English - Date: 2013-06-17 13:32:36 Functional analysis Distribution Interpretation Divergence Function Constructible universe Continuous function Mathematical analysis Mathematics Generalized functions

UPDATE